Logic programming

Results: 2694



#Item
11

Theory and Practice of Logic Programming, Vol. 6, No. 5, pp, Programming Finite-Domain Constraint Propagators in Action Rules

Add to Reading List

Source URL: www.sci.brooklyn.cuny.edu

- Date: 2008-07-17 20:04:06
    12

    Theory and Practice of Logic Programming http://journals.cambridge.org/TLP Additional services for Theory and Practice of Logic

    Add to Reading List

    Source URL: cliplab.org

    - Date: 2015-01-06 02:54:25
      13

      Under consideration for publication in Theory and Practice of Logic Programming 1 Lightweight compilation of (C)LP to JavaScript ∗ Jose F. Morales1 , Rémy Haemmerlé2 ,

      Add to Reading List

      Source URL: cliplab.org

      - Date: 2012-06-27 16:30:59
        14

        Programming and Proving with Distributed Protocols Disel: Distributed Separation Logic {P }

        Add to Reading List

        Source URL: ilyasergey.net

        - Date: 2018-03-26 18:04:22
          15

          Under consideration for publication in Theory and Practice of Logic Programming 1 Certificate Size Reduction in Abstraction-Carrying Code∗

          Add to Reading List

          Source URL: cliplab.org

          - Date: 2012-08-07 09:26:50
            16

            Theory and Practice of Logic Programming 1 The Language Features and Architecture of B-Prolog

            Add to Reading List

            Source URL: www.sci.brooklyn.cuny.edu

            - Date: 2011-02-23 16:01:36
              17

              Theory and Practice of Logic Programming 1 Efficient Tabling of Structured Data with Enhanced Hash-Consing

              Add to Reading List

              Source URL: www.sci.brooklyn.cuny.edu

              - Date: 2012-05-21 09:47:37
                18

                Under consideration for publication in Theory and Practice of Logic Programming 1 On Termination, Confluence and Consistent CHR-based Type Inference

                Add to Reading List

                Source URL: www.home.hs-karlsruhe.de

                - Date: 2014-02-23 03:34:16
                  19

                  banner above paper title Implementing HOL in an Higher Order Logic Programming Language Cvetan Dunchev

                  Add to Reading List

                  Source URL: www.cs.unibo.it

                  - Date: 2016-07-28 05:45:11
                    20

                    To appear in Theory and Practice of Logic Programming 1 Linear Tabling Strategies and Optimizations Neng-Fa Zhou

                    Add to Reading List

                    Source URL: www.sci.brooklyn.cuny.edu

                    - Date: 2007-06-05 17:57:14
                      UPDATE